Definition:Galois Extension/Finite/Definition 2

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

$L/K$ is a Galois extension it is normal and separable.

Also see

 * Equivalence of Definitions of Finite Galois Extension