The following proposition is found in $\S 5$ of Primes of the form $p = x^2 + ny^2$: Fermat, Class Field Theory, and Complex Multiplication by David A. Cox:
Proposition 5.29. Let $K$ be an imaginary quadratic field and let $L$ be a finite extension of $K$ which is Galois over $\mathbb{Q}$. Then
(i) There is a real algebraic integer $\alpha$ such that $L = K(\alpha)$.
(ii) Let $\alpha$ be as in (i) and $f(x) \in \mathbb{Z}[x]$ denote its minimal polynomial. If $p$ is a prime not dividing the discriminant of $f(x)$, then $$ p\text{ splits completely in } L \Leftrightarrow \cases{(d_K/p) = 1 \text{ and } f(x) \equiv 0\bmod{p}\cr \text{has an integer solution.} } $$ My trouble concerns (i). In his proof Cox uses the fact that $[L \cap \mathbb{R} : \mathbb{Q}] = [L : K] < \infty$ to conclude there exists $\alpha \in \mathscr{O}_L \cap \mathbb{R}$ such that $L \cap \mathbb{R} = \mathbb{Q}(\alpha)$.
The Primitive Element Theorem guarantees the existence of $\alpha \in L \cap \mathbb{R}$ such that $L \cap \mathbb{R} = \mathbb{Q}(\alpha)$, but I do not understand how we are able to select $\alpha$ so that $\alpha \in \mathscr{O}_L$. Perhaps I am missing something obvious?
I was missing something obvious. Following the suggestion of @franzlemmermeyer, I found the following proposition in Chapter 2 of J. S. Milne's course notes for Algebraic Number Theory:
Let $A$ be an integral domain and $L$ be a field containing $A$. Then we have
Proposition 2.6. Let $K$ be the field of fractions of $A$ and let $L$ be a field containing $K$. If $\alpha \in L$ is algebraic over $K$, then there exists a $d \in A$ such that $d\alpha$ is integral over $A$.
Taking $A = \mathbb{Z}$, $K = \mathbb{Q}$, and $L \cap \mathbb{R} = \mathbb{Q}(\alpha)$ the field containing $K$ allows us to select $\alpha \in \mathscr{O}_L \cap \mathbb{R}$.