Yes, the domain D you described is compact since it is the cartesian product of the compact intervals [a_i,b_i], and the continuous functions from a compact subset of R^n (or more generally from any compact hausdorff space) to R, equipped with the supremum norm, conform a Banach space.
I'm not sure if I understand your question, but Banach spaces are complete normed spaces, so yes, the norm you defined is well-defined for C(D), making it a normed space (also Banach).
D can be any compact hausdorff topological space and the result remains valid. In particular it works for the cartesian product of n compact intervals, as is your case here.
Let $\Omega$ be any compact subset of $R^{d}$. Then $C(\Omega)$ is always a Banach space with the sup norm. And if $\Omega$ is any open subset of $R^{d}$, then $C(\Omega)$:= the set of all continuous bounded real-valued functions, is always a Banach space with the sup norm.
Manan Anilkumar Maisuria $R^{d}$ is the d dimensional Euclidean space, you may consider n instead of d. Finite product compact subsets of $R$ is compact. So, $[a_{1}, b_{1}]x...x[a_{d},b_{d}]$ is compact in $R^{d}$.