Wave Packet in Quantum Cosmology and Definition of Semiclassical Time

We consider a quantum cosmology with a massless background scalar field ϕ_B and adopt a wave packet as the wave function. This wave packet is a superposition of the WKB form wave functions, each of which has a definite momentum of the scalar field ϕ_B. In this model it is shown that to trace the formalism of the WKB time is seriously difficult without introducing a complex value for a time. We define a semiclassical real time variable T_P from the phase of the wave packet and calculate it explicitly. We find that, when a quantum matter field ϕ_Q is coupled to the system, an approximate Schrödinger equation for ϕ_Q holds with respect to T_P in a region where the size a of the universe is large and |ϕ_B| is small.