I think they just get marked as deleted, and what is supposed to happen is that the deleted comment gets picked up through federation and the destination server should delete their local copy. Sounds like that isn’t happening between Lemmy and Mastodon.
Takahē are going to try implementing it too, once Bluesky are ready to federate.