TDK may well have another $300 million in it. It's only in the opening phase of its international release, with a lot of territories where it hasn't been released at all yet.
Spider-Man 4 will have a lot of pressure on it, not so much because of anything to do with
TDK, but because the box office for a fourth Spidey outing may well drop quite substantially from the previous grosses that the series has delivered.