Definition:Normal Extension/Definition 1

Definition
Let $L / K$ be a field extension.

Then $L / K$ is a normal extension :
 * for every irreducible polynomial $f \in K \sqbrk x$ with at least one root in $L$, $f$ splits completely in $L$.

Also see

 * Equivalence of Definitions of Normal Extension