I'm betting on it being a normally open contact (but no absolute
certainty so a good question). Most push button spst switches are of
the NOC type since the most common applications utilise a "completion
of circuit" detection methodolgy (e.g 'Bell Push', 'pull down' for
cmos/ttl electronica and so on).
Yes, there can be contrary requirements for NCC types but these are
mercifully few and far between, usually in specialist kit, often using
custom push button switch assemblies.
Of course, if you're planning on buying a replacement switch, you can
cover both eventualities by buying a change-over DPST push button
switch and wire the appropriate contacts according to the circuit
requirements.
--
Regards, J B Good