Semiclassical gravity is the theory in which the classical Einstein tensor of a spacetime is coupled to quantum matter fields propagating on the spacetime via the expectation value of their renormalized stress-energy tensor in a quantum state. We explore two issues, taking the Klein Gordon equation as our model quantum field theory. The first is the provision of a suitable initial value formulation for the theory. Towards this, we address the question, for given initial data consisting of the classical metric and its first three 'time' derivatives off the surface together with a choice of initial quantum state, of what is an appropriate 'surface Hadamard' condition such that, when the relevant constraint equations hold too, it is reasonable to conjecture that there will be a Cauchy development whose quantum state is Hadamard. This requires dealing with the fact, that given two points on an initial surface, the spacetime geodesic between them does not, in general, lie in that surface. So the geodesic distance that occurs in the Hadamard subtraction differs from the geodesic distance intrinsic to the initial surface. We handle this complication with a suitable 3dimensional covariant Taylor expansion. Moreover the renormalized expectation value of the stress-energy tensor in the initial surface depends explicitly on the fourth 'time' derivative of the metric, which is not part of the initial data, but which we argue is given, implicitly, by the semiclassical Einstein equations on the initial surface. We also introduce the notion of physical solutions, which, inspired by a 1993 proposal of Parker and Simon, we define to be solutions which are smooth in at = 0 -and conjecture that, for these, the second and third time derivatives of the metric will be determined by the remaining initial data. Finally we point out that a simpler treatment of the initial value problem can be had if we adopt yet more of the spirit of Parker and Simon and content ourselves with solutions to order which are Hadamard to order . A further simplification occurs if we consider semiclassical gravity to order 0 . This resembles classical general relativity in that it is free from the complications of higher derivative terms and does not require any Hadamard condition. But it can still incorporate nontrivial quantum features such as superpositions of classical-like quantum states of the matter fields. Our second issue concerns the prospects