Lemma 15.43.3. Let $A$ be a Noetherian local ring. Then $A$ is Cohen-Macaulay if and only if $A^\wedge$ is so.

Proof. A local ring $A$ is Cohen-Macaulay if and only if $\dim (A) = \text{depth}(A)$. As both of these invariants are preserved under completion (Lemmas 15.43.1 and 15.43.2) the claim follows. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).