A normal extension is a field extension in which every irreducible polynomial that has at least one root in the extension field splits completely into linear factors over that field. This property ensures that the extension is closed under taking roots of polynomials, making it a key concept in understanding the structure of field extensions in algebra.