The Stacks project

Proof. By Algebra, Lemma 10.29.1 if (1) holds, then we can find an ideal $I \subset A$ as in (2). If (3) holds then we can find an ideal $I \subset A$ as in (2). Moreover, completions of Noetherian rings are Noetherian by Algebra, Lemma 10.97.6. All in all we see that it suffices to prove (2).

Proof of (2). Let $I = (f_1, \ldots , f_ r) \subset A$ cut out $T$. If $Z = \mathop{\mathrm{Spec}}(B)$ is an affine scheme and $g : Z \to X$ is a morphism with $g(Z) \subset T$ (set theoretically), then $g^\sharp (f_ i)$ is nilpotent in $B$ for each $i$. Thus $I^ n$ maps to zero in $B$ for some $n$. Hence we see that $X_{/T} = \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Spec}}(A/I^ n) = \text{Spf}(A^\wedge )$. $\square$