A semiclassical density matrix valid beyond the classically allowed region