Gravar-mail: On Finite Semigroup Cross-Sections and Complete Rewriting Systems