I'm studying for an exam and solving some problems from the book on my own. I came across a question about splitting fields which confused me.

Let K be a finite extension of F. Prove that K is a splitting field over F if and only if every irreducible polynomial in F[x] that has a root in K splits completely in K[x].

My question is how they have defined splitting field here. The book up to now always defined it as a field that is associated with a **specific **polynomial $\displaystyle f(x) \in F[x]$, but this problem doesn't seem to. How can I just prove that K is a splitting field? Over which polynomial should it be a splitting field?