No, a repeatable dungeon is not the same as a procedurally generated dungeon. Procedurally generated dungeons are enough work beyond the scope of the other things that I wouldn't ask for that. I was thinking of a dungeon that has the same layout (and possibly the same monsters), but you can do it again if you finish it (which should be really hard).
It's just a thought, though, not really critical. Modders can do that. Heck, I'm pretty sure that it might even be possible to make a dungeon that has a different configuration of enemies in it depending on what flag gets set to give you access to the dungeon.
