Let $D$ be a divisor on a (complex) K3 surface.

Suppose $D^2\geq0$. In general, $D$ is nef if $D\cdot C\geq0$ for all irreducible curves on the surface.

Is in our case sufficient to check this for smooth rational curves (i.e. the (-2) curves) ?