We fix a positive prime number $p$ and a field $k$ such that $p\neq \text{Char}\left (k\right )$ and $k$ has a primitive $p$-th root of unity.
We say that a finite and separable extension $E/k$ is $p$-solvable if the Galois group of its normal closure is a $p$-group.
Let $\overline{k_p}$ be the union of all fields which are $p$-solvable over $k$. We call $\overline{k_p}$ the $p$-closure of $k$.
It is easy to show that if $\alpha \in \overline{k}$ and $\alpha^p\in k$ then $\alpha \in \overline{k_p}$, moreover, if $\alpha \in \overline{k}$ and $\alpha^p\in \overline{k_p}$ then $\alpha\in\overline{k_p}$.
Therefore $\overline{k_p}$ is closed under $p$-th roots. But why is $\overline{k_p}$ the minimum extension satisfying this property?
Your $p$-closure $k_p$ (I drop the over bar) is a normal pro-$p$-extension of $k$, i.e. $Gal(k_p/k)$ is a pro-$p$-group (which could be finite). Let $k_{pcl}$ be the subextension of $k_p$ which is closed under the operation $\sqrt [p].$, and put $G=Gal(k_p/k_{pcl})$. Because $G$ is a pro-$p$-group, the equality $k_p=k_{pcl}$ is equivalent to the triviality of $G$ or, by the Burnside basis theorem, to the triviality of the quotient $G^* = G/adh (G^p [G, G])$ (see e.g. Serre's "Galois Cohomology", §4, prop. 25). In other terms, we must show that $k_{pcl}$ coincides with the subfield $L$ of $k_p$ which is the composite of all the cyclic extensions of degree $p$ of $k_{pcl}$ contained in $k_p$. But $k_{pcl}$ has characteristic prime to $p$ and contains a primitive $p$-th root of $1$, so we can apply Kummer's theory, and the closedness of $k_{pcl}$ w.r.t. $\sqrt [p].$ shows what we want.