I have a box full of once-high-end vintage headphones that, despite my best efforts at cleaning, damping, etc... never quite live up to what I hear from newer ones. It's one area where audio definitely has improved... or else it's an area where age really takes its toll, or maybe a bit of both.
Vintage headphones also tend to be quite heavy, and often the earpads don't breathe well, and get hot/sweaty rather quickly.
If you want comfort and top sound quality, go modern. There aren't many areas where I say that (I'm mostly a "vintage guy"), but headphones is one of them. Then again, if you want REALLY good sound, modern headphones get expensive. The only ones I've found that really satisfy my ears are all around a thousand dollars, or even more.
That said, if you want good vintage sound you can look for:
1. Vintage Stax, still in working condition. There is sound leakage in both directions, but the electrostatics are still the clearest, most life-like cans out there. That said, they tend to be weaker on bass, so if you are into heavy thumping, these may not cut it for you.
2. Orthodynamics, as mentioned above. These are the next-best thing to electrostatics, and are much cheaper. Several brands can be found.
3. If you define "vintage" as extending into the 1980s and 1990s, then look for TOTL Sennheisers and Denons; they sounded very good, indeed. This is sort of getting into the "used" market, as opposed to vintage. If your aim is simply a bargain with good sound, and you aren't trying to "match" the vintage of your gear, then used but more recent higher-end phones may be what you're looking for.
4. Earlier than that (true "vintage", as I see it), look for Koss and AKGs -- the big, professional models used in studios in those days. AKG made one in particular, that sounded really good. Unfortunately I don't remember the model number of it. These tend to be the best of the vintage models, in terms of sonics.
Since your system is Marantz, you should know that Marantz turned out several models of headphones. I've even found some cool smaller metal-framed brown-toned ones that match their 80s series of boomboxes and "midi" systems. They don't sound bad, but they aren't exactly hi-fi, either. I keep my pair of these with a large, rare boombox, just for authenticity and completeness, but I never choose them as my regular listening headphones.
Whatever you choose to go with, good luck. I have to say I had a lot of fun hunting out and trying various vintage headphones, and playing around with tweaking them (usually reversible tweaks, like sticking Blu-tac on the backs of the motors (magnet/coil assemblies). A few times I had the pleasure of hearing an improved or more "exciting" sound, but never found a pair I was really satisfied with. I had to turn to modern headphones to get that, even if I'd rather have the build quality and nostalgic appeal of the vintage cans. YMMV.