Suppose I do gaussian process regression and calculate the log likelihood of observing the samples $y$ as:
$$ \log\, p(y | x, \theta_{\Sigma}, \theta_{\mu}) = - \frac{1}{2} \mathrm{log}\, \lvert\Sigma\rvert - \frac{1}{2} (y-\mu)^{T} \Sigma^{-1}(y-\mu) -\frac{n}{2}\mathrm{log}(2\pi). $$
I.e., this is the classical log marginal likelihood but with some modeled $\mu(x, \theta_{\mu})$. Is it formally correct to call $\mathrm{log}\, p(y | x, \theta_{\Sigma}, \theta_{\mu})$ the marginal likelihood? I ask because I thought this property is called "marginal" since the modeling of a mean function $f$ is "marginalized" out (which is true for most cases).