Is there a multivariate analogue to the Bernstein-Widder theorem which says that a function on $[0,\infty)$ is completely monotonic if and only if it is the Laplace transform of a non-negative measure ?
Yes; it suffices to put Bernstein Widder multivariate in one's favorite search engine. One example is Article Properties of Bernstein functions of several complex variables