Lean is a general label for "do what produces value, stop wasting time/money/whatever by doing worthless things".

Spiral development may, or may not be lean. Depends on the implementation.