This shouldn't make much difference in practice since deleted_time should be updated automatically, but it's probably safest to make sure that the posts are still deleted before cleaning them up, in case the deleted_time ends up staying set somehow.
Deimos