Stopped is past tense, so has is correct here. I think `hasPropagationStopped` or `propagationHasStopped` sounds more natural. The latter makes conditions more semantic:

```php
if ($this->propagationHasStopped()) {

}
```