Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets