Don’t know if this is still the case but back when Reddit was open source they would keep the comment in the database on deletion, but using the edit feature you could actually remove the content from the db.