In Artin's lecture notes on Galois Theory (Dover version), Theorem 15 page 44 says that "a field $E$ is a normal extension of field $F$ if and only if $E$ is the splitting field of a separable polynomial $p(x)$ in $F$." Since every algebraic extension generated by a finite number of separable elements is separable, this implies that every normal extension is separable.
On the other hand, the wikipedia page on "Galois extension" defines the Galois extension to be an algebraic extension which is both normal and separable.
It seems that the requirement that the extension is both normal and separable is redundant, since normal does imply separable. Any comments?