I've never seen the term 'normal' being used in the way of the OP. A semigroup $S$ with the property that $xS = Sx$ for all $x \in S$ is commonly called either duo or normalizing (see also this answer). Cancellative, non-commutative examples abound.
For instance, the multiplicative monoid $R^\bullet$ of the non-zero elements of a left (or right) discrete valutation domain $R$ is cancellative, duo, and strongly Archimedean (the latter means that, for every $a \in R^\bullet$, there exists an integer $n \ge 1$ such that any product of any $n$ non-zero non-units of $R$ is divisible by $a$ in $R^\bullet$).