Envelopes, Completions and AW ∗ -Algebras