If $E/F$ is algebraic and every $f\in F[X]$ has a root in $E$, why is $E$ algebraically closed? Suppose $E/F$ is an algebraic extension, where every polynomial over $F$ has a root in $E$. It's not clear to me why $E$ is actually algebraically closed.
I attempted the following, but I don't think it's correct: 
I let $f$ be an irreducible polynomial in $E[X]$. I let $\alpha$ be a root in some extension, so $f=m_{\alpha,E}$. Since $\alpha$ is algebraic over $E$, it is also algebraic over $F$, let $m_{\alpha,F}$ be it's minimal polynomial. I now let $K$ be a splitting field of $m_{\alpha,F}$, which is a finite extension since each root has finite degree over $F$.
If $m_{\alpha,F}$ is separable, then $K/F$ is also separable, so as a finite, separable extension, we can write $K=F(\beta)$ for some primitive element $\beta$. By assumption, $m_{\alpha,F}$ has a root in $E$, call it $r$. Then we can embed $F(\beta)$ into $r$ by mapping $\beta$ to $r$. It follows that $m_{\alpha,F}$ splits in $E$. Since $f\mid m_{\alpha,F}$, we must also have the $f$ is split in $E$.
But what happens if $m_{\alpha,F}$ is not separable? In such case, $F$ must have characteristic $p$. I know we can express $m_{\alpha,F}=g(X^{p^k})$ for some irreducible, separable polynomial $g(X)\in F[X]$. But I'm not sure what follows after that.
NB: I say $E$ is algebraically closed if every nonconstant polynomial in $E[X]$ has a root in $E$.

Note: feel free to ignore the warzone in the comments; it's not really relevant anymore.
If $F$ is perfect, we can proceed like this. Let $f$ be a polynomial with coefficients in $F$. Let $K/F$ be a splitting field for $f$. Then $K=F(\alpha)$ for some $\alpha \in K$. Let $g$ be the minimal polynomial of $\alpha$ over $F$. Then $g$ has a root in $E$ by assumption, hence $E$ contains a copy of $F(\alpha)$, i.e. a splitting field for $f$. 
Thus every $f\in F[X]$ splits in $E$. Now I claim that $E$ is algebraically closed. Let $E'/E$ be an algebraic extension and let $\beta \in E'$. By transitivity, $\beta$ is algebraic over $F$; let $h(X)$ be its minimal polynomial over $F$. By the above, $h$ splits in $E$, and therefore $\beta \in E$. Thus $E$ is algebraically closed.
