For open $U\subset \mathbb{R}^n$, $H_0^1(U)$ is the closure of $C_c^\infty(U)$ in the $H^1(U)$ norm. Equivalently, it is the Sobolev space of $H^1$ functions with zero trace on $\partial U$ (when trace is defined).