Lemma 15.52.6. Let $(A, \mathfrak m)$ be a Noetherian local ring. If $A$ is normal and the formal fibres of $A$ are normal (for example if $A$ is excellent or quasi-excellent), then $A^\wedge$ is normal.

Proof. Follows immediately from Algebra, Lemma 10.163.8. $\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).