It's somewhat randomized, but not procedurally generated in the typical sense. There's a set number of dungeons that will appear in the same general regions each time. Along with a set order of doing the dungeons.